Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
61	Normal form from biological motion despite impaired ventral stream function Add to Reading List Source URL: sayginlab.ucsd.edu Language: English - Date: 2013-01-11 20:57:20 Cerebrum Visual perception Perception Cognition Brain Biological motion perception Motion perception Biological motion Visual system Visual cortex Inferior temporal gyrus Occipital lobe
62	On the Complexity of Computing Units in a Number Field V. Arvind and Piyush P Kurur Institute of Mathematical Sciences C.I.T Campus,Chennai, India {arvind,ppk}@imsc.res.in Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Complexity classes Algebraic number theory Polynomials Circuit complexity NC NP Lattice Algebraic number field Jordan normal form Discriminant of an algebraic number field
63	LYSGROUP: Adapting a Spanish microtext normalization system to English. ´ Vilares, Carlos G´omez-Rodr´ıguez Yerai Doval, Jesus LYS group, Departamento de Computaci´on, Facultade de Inform´atica, Universidade da Cor Add to Reading List Source URL: noisy-text.github.io Language: English - Date: 2016-08-14 21:11:08 Computational linguistics Natural language processing Normalization Database normalization Text normalization Speech recognition Twitter Normal form
64	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
65	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
66	Evolution in Games with Randomly Disturbed Payoffs* Josef Hofbauer Department of Mathematics University College London Gower Street London WC1E 6BT UK Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2005-07-29 09:44:34 Game theory Epsilon-equilibrium Nash equilibrium Evolutionary game theory Potential game Best response Normal-form game Strategy Stochastic game Risk dominance
67	Assignment 6 L445 / L545 / B659 Due Thursday, MarchUsing sectionas a help and using what you know about English pronouns, write out all the CFG rules you need to capture the following sentences, where * in Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-03-29 20:14:48 Formal languages CYK algorithm Top-down parsing Earley parser Cyk Parsing Left recursion Chomsky normal form Algorithm
68	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
69	Analysis III/IV (Math 3011, MathExercise SheetDo Exercises 2 and 3 as homework for this week. These exercises are Add to Reading List Source URL: maths.dur.ac.uk Language: English - Date: 2012-02-24 09:33:55 Surfaces Normal Vector calculus One-form
70	Analysis of operator differential-algebraic equations arising in fluid dynamics. Part I. The finite dimensional case Etienne Emmrich∗ Volker Mehrmann‡ Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:54:28 Numerical analysis Matrix theory Differential equations E11 Differential algebraic equation Discretization Jordan normal form